external decimal number

外部十进制数